#ifndef __TIMER_H
#define __TIMER_H

#define 	TIMER_0		0x40
#define 	TIMER_1		0x41
#define 	TIMER_2		0x42
#define 	TIMER_CTRL		0x43


void init_timer(int);
void set_timer(int);
void timer_wait(u32);


#endif
